首页> 外文OA文献 >An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

【2h】

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

机译：基于不变量编程的交互式自动定理证明支持练习

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ralph-johan Back; Johannes Eriksson;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic Programming Systems Dedicated for Proving of Theorems [J] . JAROSLAV E. POLISCUK WSEAS Transactions on Computers . 2006,第2期

机译：专用于定理证明的自动编程系统
2. Using the virt programming language for automatic theorem proving [J] . A.I.Baranovskii Cybernetics and Systems Analysis . 1999,第6期

机译：使用virt编程语言进行自动定理证明
3. Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover [J] . Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Journal of Automated Reasoning . 2012,第3期

机译：Matita交互式定理证明中编程语言的形式元理论
4. The Game of Hex-An Automatic Theorem Proving Approach to Game Programming [C] . Wadim V. Anshelevich National Conference on Artificial Intelligence . 2000

机译：十六进制的游戏 - 一种自动定理的游戏编程方法
5. Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2. [D] . Rager, David Lawrence. 2012

机译：并行化交互式定理证明：使用ACL2进行函数式编程和证明。
6. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data [O] . Sunny Raj, Faraz Hussain, Zubir Husein, 2017

机译：自动合成流式细胞仪数据可视化的定理证明方法
7. An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support [O] . Ralph-Johan Back, Johannes Eriksson 2012

机译：基于不变量编程的交互式自动定理证明支持练习
8. Constructing Programs Automatically Using Theorem Proving [R] . Waldinger, R. J. 1969

机译：使用定理证明自动构造程序

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

著录项

引文网络

相似文献

相关主题

期刊订阅